probFD

Benchmark
Model:ij v.1 (MDP)
Parameter(s)num_tokens_var = 30
Property:stable (prob-reach)
Invocation (default)
python2.7 ../probfd-qcomp19/jani-to-ppddl/Jani_PPDDL_Compiler.py ij.30.jani -c ../probfd-qcomp19/jani-to-ppddl/config_mutual.py
python2.7 ../probfd-qcomp19/builds/release64/bin/translate/translate.py ij.30-domain.ppddl ij.30-problem.ppddl
../probfd-qcomp19/builds/release64/bin/downward --sas output.sas --engine fretpi-hdp --heuristic hmax --enable-caching --epsilon 1e-6
Execution
Walltime:1.630049467086792s
Return code:0, 1, 1
Log
Parsing...
STDERR
predicate used with wrong arity: (value n1)
Log
Invalid command line arguments. Use -h to print the available options.
STDERR
Could not open SAS file output.sas